Harald Ganzinger: البحث على موقع Z-Library

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

حرية الوصول إلى المعرفة والثقافة.

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024

Z-Library واحدة من أكبر المكتبات الإلكترونية في العالم والتي تحتوي علي أكثر من 17,000,000 كتاب و 84,837,000 مقالة. هدفنا جعل الأدب متاح للجميع. اليوم ((15 سبتمبر 2024 نبدأ بجمع أموال وتبرعات إضافية لدعم و تطوير المشروع.

تتوفر أيضًا تنزيلات غير محدودة (في غضون 31 يومًا بعد يوم التبرع) لجميع المستخدمين الذين سيدعمون المشروع ويتبرعون خلال فترة جمع التبرعات حتى 1 أكتوبر 2024.

حول جمع التبرعاتالمزيد من التفاصيل

قدم تبرع لدعم المشروع

1

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Harald Ganzinger, David McAllester, Andrei Voronkov

عام:

1999

اللغة:

english

ملف:

PDF, 21.68 MB

0 / 0

english, 1999

2

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Neil D. Jones (eds.)

عام:

1980

اللغة:

english

ملف:

DJVU, 3.13 MB

0 / 0

english, 1980

3

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Deepak Kapur (auth.), Harald Ganzinger (eds.)

عام:

1996

اللغة:

english

ملف:

PDF, 6.42 MB

0 / 0

english, 1996

4

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.)

عام:

1996

اللغة:

english

ملف:

PDF, 11.56 MB

0 / 0

english, 1996

5

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

عام:

1999

اللغة:

english

ملف:

DJVU, 3.65 MB

0 / 0

english, 1999

6

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 7.27 MB

0 / 0

english, 1996

7

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 12.61 MB

0 / 0

english, 1999

8

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Neil D. Jones (eds.)

عام:

1980

اللغة:

english

ملف:

PDF, 9.67 MB

0 / 0

english, 1980

9

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

عام:

1995

اللغة:

english

ملف:

DJVU, 3.52 MB

0 / 0

english, 1995

10

Informatik: Festschrift zum 60. Geburtstag von Günter Hotz

Informatik: Festschrift zum 60. Geburtstag von Günter Hotz

Vieweg+Teubner Verlag

Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul (auth.), Prof. Dr. rer. nat. Johannes Buchmann, Prof. Dr. rer. nat. Harald Ganzinger, Prof. Dr. rer. nat. Wolfgang J. Paul (eds.)

عام:

1992

اللغة:

german

ملف:

PDF, 6.23 MB

0 / 0

german, 1992

11

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Deepak Kapur (auth.), Harald Ganzinger (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 3.53 MB

0 / 0

english, 1996

12

Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.)

عام:

1999

اللغة:

english

ملف:

PDF, 4.73 MB

0 / 0

english, 1999

13

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

عام:

1986

اللغة:

english

ملف:

DJVU, 3.68 MB

0 / 0

english, 1986

14

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

عام:

1995

اللغة:

english

ملف:

DJVU, 6.44 MB

0 / 0

english, 1995

15

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

عام:

1995

اللغة:

english

ملف:

PDF, 5.98 MB

0 / 0

english, 1995

16

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

عام:

1986

اللغة:

english

ملف:

PDF, 8.74 MB

0 / 0

english, 1986

17

Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings

Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Friedhelm Meyer, Burkhard Monien (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 6.66 MB

0 / 0

english, 1996

18

Automated deduction--CADE 16: 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

Automated deduction--CADE 16: 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

Harald Ganzinger

عام:

1999

اللغة:

english

ملف:

PDF, 3.59 MB

0 / 0

english, 1999

19

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

عام:

1995

اللغة:

english

ملف:

PDF, 11.68 MB

0 / 0

english, 1995